Authority search results
Results 1 to 1 of 1
Authorized headings | Type of heading | Biblio records | |
---|---|---|---|
Nazwa pospolita:
used for/see from:
MSC 03B10 (2000).
Logique du premier ordre [f]
First-order logic [c]
see also:
Logika symboliczna i matematyczna.
(Broader heading)
Rachunek kwantyfikatorów.
(Broader heading)
|
Details | Nazwa pospolita | 3 biblios as subject heading |